Improving Automation Software Dependability: A Role For Formal Methods?
نویسنده
چکیده
The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PC’s, PLC’s and CNC’s has created new challenges to the maintenance of safe and dependable manufacturing operations. Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturing software, are examined in this paper and
منابع مشابه
Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception. (Development of dependable applications: a design-driven approach)
development of dependable applications: a design-driven approach In many domains such as avionics, medecine or home automation, software applications play an increasingly important role that can even be critical for their environment. In order to trust these applications, their development is contrained by dependability requirements. Indeed, it is necessary to demonstrate that these high-level ...
متن کاملImpact of methods and mechanisms for improving software dependability on non-functional requirements
Quality attributes grouped under the term of dependability have been the subject of research for over fifty years. During this time, dependability and its quality attributes have been overloaded with many different definitions. This thesis will therefore take a detailed look at the most important quality attributes of dependability. Dependability plays a special role in software that is used in...
متن کاملGuest Editorial: Special section on software engineering in industrial automation
A CCORDING to many undisputable evidences, the complexity and importance of software in industrial automation systems is growing with a tremendous rate, making software engineering one of the major activities of automation systems developers. In general, software engineering is an established discipline with its methods, traditions and curriculum. Most of its methods and tools are applicable ac...
متن کاملPetri Net Based Software Dependability Engineering
Methods of software dependability engineering can be divided into two groups methods to improve the software dependability and methods to predict the reached degree of software dependability. Among those methods, which aim at the improvement of software dependability, the Petri net based validation techniques to avoid faults during the development phase have attract a lot of attention in the la...
متن کاملThe AI4FM approach for proof automation within formal methods
Achieving verified software has been a dream since the birth of computer science and the importance of this objective has become ever greater with the increasing size and complexity of software. Grand Challenge 6 (GC6), “Dependable Systems Evolution”, addresses this by advocating the use of formal methods for software development. The use of formal methods has been successful in safety-critical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004